تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۰,۲۸ ثانیه یافت شد.

1. FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings

پدیدآورنده : Jeannette M. Wing, Jim Woodcock, Jim Davies )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Application software -- Development

رده :

QA

76

.

L28

Vol

.

1708-1709

2. Formal specification :

پدیدآورنده : Nimal Nissanke.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Application software -- Development.,Formal methods (Computer science)

رده :

QA76

.

9

.

F67

N563

1999

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها